;;;Abstraction for checking if a number is in a state list
;;;in case it turns out using an AVL tree is more efficient
(in-package "ACL2")

;;Check if a state (represented by a number)
;;is in alist
(defun is-state-present (num lst)
	(member-equal num lst))